.titlebar,
.header-bar {
+ padding: 6px;
border-width: 0 0 1px;
border-style: solid;
border-color: $borders_color;
border-radius: 7px 7px 0 0;
-
background-color: transparent;
- background-image: linear-gradient(to bottom,
- lighten($bg_color,4%),
- $bg_color);
- box-shadow: inset 0 -1px mix($borders_color, $bg_color, 30%), // bottom shade
- inset 0 1px $top_hilight; // top highlight
- padding: 6px;
+
+ @include headerbar_fill;
&:backdrop {
border-color: $backdrop_borders_color;
background-image: linear-gradient(to $dir, $selected_bg_color 2px,
lighten($selected_bg_color,6%));
}
+
+@mixin headerbar_fill($c:$bg_color) {
+ background-image: linear-gradient(to bottom,
+ lighten($c,4%),
+ $c);
+ box-shadow: inset 0 -1px mix($borders_color, $c, 30%), // bottom shade
+ inset 0 1px $top_hilight; // top highlight
+}
***************/
.titlebar, GtkCalendar.header,
.header-bar {
+ padding: 6px;
border-width: 0 0 1px;
border-style: solid;
border-color: #1c1f1f;
border-radius: 7px 7px 0 0;
background-color: transparent;
background-image: linear-gradient(to bottom, #434a4a, #393f3f);
- box-shadow: inset 0 -1px #303535, inset 0 1px rgba(238, 238, 236, 0.1);
- padding: 6px; }
+ box-shadow: inset 0 -1px #303535, inset 0 1px rgba(238, 238, 236, 0.1); }
.titlebar:backdrop, GtkCalendar.header:backdrop,
.header-bar:backdrop {
border-color: #1e2222;
***************/
.titlebar, GtkCalendar.header,
.header-bar {
+ padding: 6px;
border-width: 0 0 1px;
border-style: solid;
border-color: #a1a1a1;
border-radius: 7px 7px 0 0;
background-color: transparent;
background-image: linear-gradient(to bottom, #f7f7f7, #ededed);
- box-shadow: inset 0 -1px #d6d6d6, inset 0 1px white;
- padding: 6px; }
+ box-shadow: inset 0 -1px #d6d6d6, inset 0 1px white; }
.titlebar:backdrop, GtkCalendar.header:backdrop,
.header-bar:backdrop {
border-color: #a8a8a8;